Leon Henkin
述語論理の完全性定理のシンプルなバージョンとか
Henkin文など